Remove references to camlp4 (now distributed separately)
authorStephane Glondu <steph@glondu.net>
Tue, 21 Oct 2014 13:36:44 +0000 (15:36 +0200)
committerStephane Glondu <steph@glondu.net>
Tue, 21 Oct 2014 14:49:56 +0000 (16:49 +0200)
commit2ba0052ec94ac53235eb5e2e93fbce72ba67cc74
treee581d561da7ee55dc0d9bfdf9b2cda3a07f28982
parent09190fe9698559fc6690478849fa3e632d0755f6
Remove references to camlp4 (now distributed separately)
debian/MANIFEST
debian/camlp4-extra.install.in [deleted file]
debian/camlp4-extra.links [deleted file]
debian/camlp4.dirs.in [deleted file]
debian/camlp4.install.in [deleted file]
debian/camlp4.links.in [deleted file]
debian/camlp4.manpages [deleted file]
debian/control
debian/control.in